* callproc.c: Fix race that killed background processes.
authorPaul Eggert <eggert@cs.ucla.edu>
Wed, 21 Aug 2013 21:27:30 +0000 (14:27 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Wed, 21 Aug 2013 21:27:30 +0000 (14:27 -0700)
commit0e2a4d5b53b15a95202f462afb67958cb5b10b47
tree972ed482b5c21bdb21b9028a6d5c7f7f5483a006
parent396bb0a41dacae449b28aa8e406ee8f11489afdf
* callproc.c: Fix race that killed background processes.

(call_process): New arg TEMPFILE_INDEX.  Callers changed.
Record deleted process-id in critical section, not afterwards.
Don't mistakenly kill process created by a call-process invocation
that discards output and does not wait.
src/ChangeLog
src/callproc.c